Basic science

Results: 4014



#Item
371

BRICS Basic Research in Computer Science BRICS DSM. Nygaard: Domain Theory for Concurrency Domain Theory for Concurrency

Add to Reading List

Source URL: www.brics.dk

- Date: 2004-03-29 08:43:04
    372

    BRICS Basic Research in Computer Science BRICS RSAger et al.: From Interpreter to Compiler and Virtual Machine: A Functional Derivation From Interpreter to Compiler and

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2003-04-07 09:02:51
      373

      BRICS Basic Research in Computer Science BRICS RSCamenisch & Damg˚ard: Verifiable Encryption and Applications Verifiable Encryption and Applications to

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 1999-01-11 19:55:50
        374

        The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) An Overview of Bacterial Antimicrobial Resistance Mechanisms Wanda C. Reygaert Department of B

        Add to Reading List

        Source URL: www.formatex.info

        - Date: 2015-04-20 05:07:07
          375

          BRICS Basic Research in Computer Science BRICS RSButz & Johnstone: Classifying Toposes for First Order Theories Classifying Toposes for

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 1997-09-05 05:13:18
            376

            BRICS Basic Research in Computer Science BRICS RSD. Varacca: The Powerdomain of Indexed Valuations

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2002-09-04 04:04:24
              377

              BRICS RS-08-4 Danvy & Millikin: Refunctionalization at Work BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2008-06-27 04:24:44
                378

                BRICS Basic Research in Computer Science BRICS RSHavelund et al.: Formal Modeling and Analysis of an Audio/Video Protocol Formal Modeling and Analysis of

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 1997-12-01 08:28:07
                  379

                  BRICS Basic Research in Computer Science BRICS DS-03-3 J. Srba: Decidability and Complexity Issues for Infinite-State Processes

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2004-03-29 03:17:00
                    380

                    BRICS RS-07-8 Danvy & Millikin: A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2007-03-26 18:16:53
                      UPDATE